TSTP Solution File: SWW473^3 by DCTP---1.31